java -jar ../../jars/plant-automaton-generator.jar vver.sc --actionNames pressurelivestream0,pressurelivestream1,pressurelivestream2,pressurelivestream3,pressurelivestream4,pressurelivestream5,pressurelowerplenum0,pressurelowerplenum1,pressurelowerplenum2,pressurelowerplenum3,pressurelowerplenum4,pressurelowerplenum5,voltage0,voltage1,voltage2,waterlevel0,waterlevel1,waterlevel2,waterlevel3 --eventNumber 1 --ltl vver.ltl --actionspec vver.actionspec --size 5 --tree tree.gv
